Teaching Fall 2013/14
-
Topics in Automated Theorem Proving (last given in 2006)
236714
Teaching Spring 2013
-
Introduction to Database Systems
236363
-
Graduate Seminar:
238900
The millennium question NP = P over the real numbers and other fields and rings
Teaching in previous semesters
Advanced Topics
- 2011:
Advanced Topics in Computer Science 236603
Graph polynomials and graph invariants
- 2012/13:
Advanced Topics in Computer Science 236604
Logical Methods in Combinatorics
Graduate Research Seminars
- 2011/12:
Research Seminar in Combinatorics and Graph Theory 236902
Structural Graph Theory and Algorithmic Meta-theorems
- 2010:
Logic and Combinatorics Research Seminar
(238901) 236901
Graph polynomials and their Complexity
- 2005/06
Theory Research Seminar (238900) 236900
Graph polynomials and graph decompositions, I